1. Tableau systems for first order number theory and certain higher order theories

پدیدآورنده :

کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)

موضوع : ، Proof theory,، Numbers, Theory of,، Predicate calculus

رده :
QA
3
.
L28
no
.
447